Module("check",[Imports([(),(),(),(),(),(),()]),Rules([SDefT("constraint-warning",[],[],[]),SDefT("constraint-note",[],[],[]),SDefT("to-assembly",[],[],[]),SDefT("type",[],[],[]),SDefT("var-decl",[],[],[]),SDefT("opt-var-decl",[],[],[]),SDefT("typeof",[],[],[]),SDefT("is-type",[],[],[]),SDefT("define-type",[],[],[]),SDefT("define-type",[],[],[]),SDefT("define-type",[],[],[]),SDefT("define-type",[],[],[]),SDefT("define-type",[],[],[])])])